Instruct: What is the snatch for the person holding the Olympic record, and 173kg of 172kg?
Output: SELECT Snatch FROM table WHERE World record = olympic record AND 173kg = 172kg