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