What is the highest mean number for Texas when the swimsuit stat was more than 8.839?
CREATE TABLE table_name_45 (average INTEGER, state VARCHAR, swimsuit VARCHAR)
SELECT MAX(average) FROM table_name_45 WHERE state = "texas" AND swimsuit > 8.839
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_45 (average INTEGER, state VARCHAR, swimsuit VARCHAR) Question: What is the highest mean number for Texas when the swimsuit stat was more than 8.839? [/INST] SELECT MAX(average) FROM table_name_45 WHERE state = "texas" AND swimsuit > 8.839 </s>