What time was the Wrestler Henry eliminated by Batista?
CREATE TABLE table_name_12 (
    time VARCHAR,
    eliminated_by VARCHAR,
    wrestler VARCHAR
)
SELECT time FROM table_name_12 WHERE eliminated_by = "batista" AND wrestler = "henry"
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 time was the Wrestler Henry eliminated by Batista? ### Input: CREATE TABLE table_name_12 (
    time VARCHAR,
    eliminated_by VARCHAR,
    wrestler VARCHAR
) ### Response: SELECT time FROM table_name_12 WHERE eliminated_by = "batista" AND wrestler = "henry"