What is the highest average of the contestant from Texas with an evening gown larger than 8.875?
CREATE TABLE table_name_57 (average INTEGER, state VARCHAR, evening_gown VARCHAR)
SELECT MAX(average) FROM table_name_57 WHERE state = "texas" AND evening_gown > 8.875
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_57 (average INTEGER, state VARCHAR, evening_gown VARCHAR) Question: What is the highest average of the contestant from Texas with an evening gown larger than 8.875? [/INST] SELECT MAX(average) FROM table_name_57 WHERE state = "texas" AND evening_gown > 8.875 </s>