CREATE TABLE table_name_13 (students INTEGER, city VARCHAR(255), pupil_teacher_ratio VARCHAR(255))
What is the highest number of students for schools in Campbell with pupil to teacher ratios over 25?
    
SQL: SELECT MAX(students) FROM table_name_13 WHERE city = "campbell" AND pupil_teacher_ratio > 25