user: Question: What is the highest average for teams ranked higher than 9?
Columns: ['Rank', 'Team', 'Games', 'Total', 'Avg.']
Types: ['real', 'text', 'real', 'real', 'real']
Sample row: [1.0, 'Michigan', 6.0, 673511.0, 112252.0]
SQL:

assistant: SELECT MAX("Avg.") FROM "Table" WHERE "Rank" > 9.0;