Instruct: what is the average bodyweight when snatch is 80?
Output: SELECT AVG Bodyweight FROM table WHERE Snatch = 80