CREATE TABLE table_name_64 (time INT, nationality VARCHAR, lane VARCHAR)

What is the most time for the swimmer from South Africa who was in a lane greater than 3?
SELECT MAX(time) FROM table_name_64 WHERE nationality = "south africa" AND lane > 3
SELECT MAX("time") FROM "table_name_64" WHERE "lane" > 3 AND "nationality" = "south africa"