Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE table_2417345_3 (vacator VARCHAR, date_of_successors_formal_installation VARCHAR)

### Question ###
Who was the vacator when the successor was formally installed on February 1, 1871?

### Accurate SQL ###

SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871"