CREATE TABLE table_name_88 (heat_rank INT, overall_rank VARCHAR, time VARCHAR)

I want to know the highest heat rank for overall rank of t63 and time less than 25.47
SELECT MAX(heat_rank) FROM table_name_88 WHERE overall_rank = "t63" AND time < 25.47
SELECT MAX("heat_rank") FROM "table_name_88" WHERE "overall_rank" = "t63" AND "time" < 25.47