user: ### NOW ANSWER:
Question: what is the average bodyweight when snatch is 80?
Columns: ['Name', 'Bodyweight', 'Snatch', 'Clean & jerk', 'Total (kg)']
Types: ['text', 'real', 'real', 'real', 'text']
Sample row: ['Maryse Turcotte ( CAN )', 57.56, 87.5, 112.5, '200.0']
SQL:

assistant: SELECT AVG("Bodyweight") FROM "Table" WHERE "Snatch" = 80.0;