user: Question: What is the sum of the weight that all weightlifters managed to clean and jerk, among weightlifters who had a snatch of more than 95 and a Total of more than 200?
Columns: ['Name', 'Bodyweight', 'Snatch', 'Clean & jerk', 'Total (kg)']
Types: ['text', 'real', 'real', 'real', 'real']
Sample row: ['Cheryl Haworth ( USA )', 136.16, 117.5, 135.0, 252.5]
SQL:

assistant: SELECT SUM("Clean & jerk") FROM "Table" WHERE "Total (kg)" = 200.0 AND "Snatch" > 95.0;