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

What is the average final with an all around greater than 19.35 and a total over 40?
SELECT AVG(final) FROM table_name_42 WHERE all_around > 19.35 AND total > 40
SELECT AVG("final") FROM "table_name_42" WHERE "all_around" > 19.35 AND "total" > 40