what's the snatch when the 139kg was 305kg and the olympic record was the world record?
total