What was the average clean and jerk of all weightlifters who had a bodyweight smaller than 87.5 and a snatch of less than 95?
CREATE TABLE "super_heavyweight_75_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" real
);
SELECT AVG("clean_jerk") FROM "super_heavyweight_75_kg" WHERE "bodyweight"=87.5 AND "snatch"<95;