what is the snatch for the person holding the olympic record, and 173kg of 172kg?
snatch