user: Question: What is the highest total to par of +9?
Columns: ['Player', 'Country', 'Year(s) won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'text', 'text']
Sample row: ['Greg Norman', 'Australia', '1986', 267.0, '–13', '1']
SQL:

assistant: SELECT MAX("Total") FROM "Table" WHERE "To par" = '+9';