What is the lowest interview of Texas, with an average larger than 9.531?
CREATE TABLE "final_competition" (
  "state" text,
  "interview" real,
  "swimsuit" real,
  "evening_gown" real,
  "average" real
);
SELECT MIN("interview") FROM "final_competition" WHERE "state"='texas' AND "average">9.531;