user: Question: What is the high total for players with over 15 solo tackles?
Columns: ['Player', 'Solo', 'Total', 'Sacks', 'Fumble force', 'Fumble rec']
Types: ['text', 'real', 'real', 'text', 'real', 'real']
Sample row: ['Anthony Gebhart', 15.0, 31.0, '0', 0.0, 0.0]
SQL:

assistant: SELECT MAX("Total") FROM "Table" WHERE "Solo" > 15.0;