What is the highest heat for more than 3 lanes and a time of 2:09.12?
CREATE TABLE table_name_23 (
    heat INTEGER,
    lane VARCHAR,
    time VARCHAR
)
SELECT MAX(heat) FROM table_name_23 WHERE lane > 3 AND time = "2:09.12"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the highest heat for more than 3 lanes and a time of 2:09.12? ### Input: CREATE TABLE table_name_23 (
    heat INTEGER,
    lane VARCHAR,
    time VARCHAR
) ### Response: SELECT MAX(heat) FROM table_name_23 WHERE lane > 3 AND time = "2:09.12"