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: Qual alojamento estudantil tem o mascote de roedores?
  ###Tabelas:
CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)


SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"