question: What is the lowest interview of Texas, with an average larger than 9.531?
answer: SELECT MIN(interview) FROM table_name_86 WHERE state = "texas" AND average > 9.531
context: CREATE TABLE table_name_86 (interview INTEGER, state VARCHAR, average VARCHAR)