Instruct: What is the total bodyweight of everyone that has a Snatch of 153.0?
Output: SELECT SUM Bodyweight FROM table WHERE Snatch = 153.0