Below is an instruction that describes a task. Write a response that appropriately completes the request.

### Instruction:
What is the average number of students for schools with a pupil to teacher ratio of 25.1?

### Inputs:
table_name: table, columns: ['School Name', 'City', 'Students', 'FTE Teachers', 'Pupil/Teacher Ratio']

### Response:
SELECT AVG Students FROM table WHERE Pupil/Teacher Ratio = 25.1