CREATE TABLE table_name_86 (interview INT, state VARCHAR, average VARCHAR)

What is the lowest interview of Texas, with an average larger than 9.531?
SELECT MIN(interview) FROM table_name_86 WHERE state = "texas" AND average > 9.531
SELECT MIN("interview") FROM "table_name_86" WHERE "average" > 9.531 AND "state" = "texas"