Table schema:
CREATE TABLE table_name_12 (final INTEGER, all_around VARCHAR, total VARCHAR)

Question: What is the average final with an all around larger than 19.4 and total more than 39.9?
SQL: SELECT AVG(final) FROM table_name_12 WHERE all_around > 19.4 AND total > 39.9