CREATE TABLE table_name_61 (total INT, finish VARCHAR)

What is the highest total with a t12 finish?
SELECT MAX(total) FROM table_name_61 WHERE finish = "t12"
SELECT MAX("total") FROM "table_name_61" WHERE "finish" = "t12"