CREATE TABLE table_name_45 (average INT, state VARCHAR, swimsuit VARCHAR)

What is the highest mean number for Texas when the swimsuit stat was more than 8.839?
SELECT MAX(average) FROM table_name_45 WHERE state = "texas" AND swimsuit > 8.839
SELECT MAX("average") FROM "table_name_45" WHERE "state" = "texas" AND "swimsuit" > 8.839