CREATE TABLE table_name_57 (average NUMBER, state VARCHAR2, evening_gown VARCHAR2)

What is the highest average of the contestant from Texas with an evening gown larger than 8.875?
SELECT MAX(average) FROM table_name_57 WHERE state = "texas" AND evening_gown > 8.875
SELECT MAX("average") FROM "table_name_57" WHERE "evening_gown" > 8.875 AND "state" = "texas"