Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Que horas o lutador Henry foi eliminado por Batista?
  ###Tabelas:
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"