Qual é o número médio mais alto para o Texas quando a estatística de maiô era superior a 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