CREATE TABLE table_name_12 (final INT, all_around VARCHAR, total VARCHAR)

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