what is the highest clean & jerk when total (kg) is 200.0 and snatch is more than 87.5?
CREATE TABLE "lightweight_58_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" text
);
SELECT MAX("clean_jerk") FROM "lightweight_58_kg" WHERE "total_kg"='200.0' AND "snatch">87.5;