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: Quem é o vacator para a data de 1 de fevereiro de 1971 da instalação formal do sucessor?
 ###Tabelas: CREATE TABLE collection (collection_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Builder VARCHAR, Type VARCHAR, Operator VARCHAR, Number VARCHAR, Withdrawn VARCHAR, Status VARCHAR) CREATE TABLE internet_availability (internet_availability_id AUTO_INCREMENT PRIMARY KEY, Nation VARCHAR, Population (thousands) INT, Internet subscriptions (2000) (thousands of users) INT, Internet subscriptions (2008) (thousands of users) INT, % growth (2000–2008) INT, % Internet users INT) CREATE TABLE senate (senate_id AUTO_INCREMENT PRIMARY KEY, State (class) VARCHAR, Vacator VARCHAR, Reason for change VARCHAR, Successor VARCHAR, Date of successor's formal installation VARCHAR) CREATE TABLE semi-pro_seasons_1987-1993 (semi-pro_seasons_1987-1993_id AUTO_INCREMENT PRIMARY KEY, Season INT, Winners VARCHAR, Total wins INT, Runners-up VARCHAR, Third-place VARCHAR, Number of clubs INT) CREATE TABLE controversy (controversy_id AUTO_INCREMENT PRIMARY KEY, Category VARCHAR, Frequency VARCHAR, White VARCHAR, Brown VARCHAR, Black VARCHAR, Amerindian VARCHAR, Yellow VARCHAR, Total VARCHAR, difference between White and Black INT)  
SELECT Vacator FROM senate WHERE Date of successor's formal installation = february 1, 1971