CREATE TABLE table_name_45 (average INTEGER, state VARCHAR(255), swimsuit VARCHAR(255))
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