Instruct: What is the highest total with a t12 finish?
Output: SELECT MAX Total FROM table WHERE Finish = t12