what is the average number of students for schools with a pupil to teacher ratio of 25.1?
1619.0