CREATE TABLE table_name_13 (pupil_teacher_ratio INT, city VARCHAR, students VARCHAR)

What is the lowest pupil to teacher ratio for Saratoga schools with smaller than 1213 students?
SELECT MIN(pupil_teacher_ratio) FROM table_name_13 WHERE city = "saratoga" AND students < 1213
SELECT MIN("pupil_teacher_ratio") FROM "table_name_13" WHERE "city" = "saratoga" AND "students" < 1213