user: Question: What is the highest total with a T12 finish?
Columns: ['Player', 'Country', 'Year(s) Won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'text', 'text']
Sample row: ['Ernie Els', 'South Africa', '2002', 279.0, '–5', 'T4']
SQL:

assistant: SELECT MAX("Total") FROM "Table" WHERE "Finish" = 'T12';