Table 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?
SQL: SELECT MAX(average) FROM table_name_45 WHERE state = "texas" AND swimsuit > 8.839