CREATE TABLE table_name_12 (final INTEGER, all_around VARCHAR(255), total VARCHAR(255))
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