user: Question: What is the total bodyweight of everyone that has a Snatch of 153.0?
Columns: ['Name', 'Bodyweight', 'Snatch', 'Clean & Jerk', 'Total (kg)']
Types: ['text', 'real', 'text', 'text', 'text']
Sample row: ['Joël MacKenzie ( CUB )', 101.4, '175.0', '205.0', '380.0']
SQL:

assistant: SELECT SUM("Bodyweight") FROM "Table" WHERE "Snatch" = '153.0';