user: Question: What is the average number of students for schools with a pupil to teacher ratio of 25.1?
Columns: ['School Name', 'City', 'Students', 'FTE Teachers', 'Pupil/Teacher Ratio']
Types: ['text', 'text', 'real', 'real', 'real']
Sample row: ['Boynton High School', 'San Jose', 280.0, 16.8, 16.7]
SQL:

assistant: SELECT AVG("Students") FROM "Table" WHERE "Pupil/Teacher Ratio" = 25.1;