CREATE TABLE table_name_2 (heat INT, nationality VARCHAR, lane VARCHAR)

What is the highest heat of the athlete from spain with a lane less than 7?
SELECT MAX(heat) FROM table_name_2 WHERE nationality = "spain" AND lane < 7
SELECT MAX("heat") FROM "table_name_2" WHERE "lane" < 7 AND "nationality" = "spain"