CREATE TABLE table_name_57 (average INTEGER, state VARCHAR(255), evening_gown VARCHAR(255))
What is the highest average of the contestant from Texas with an evening gown larger than 8.875?
    
SQL: SELECT MAX(average) FROM table_name_57 WHERE state = "texas" AND evening_gown > 8.875