What is the snatch for the person holding the Olympic record, and 173kg of 172kg?
CREATE TABLE "records" (
  "world_record" text,
  "snatch" text,
  "sergey_filimonov_kaz" text,
  "173kg" text,
  "almaty_kazakhstan" text
);
SELECT "snatch" FROM "records" WHERE "world_record"='olympic record' AND "173kg"='172kg';