CREATE TABLE table_54395 ("State  ( class ) " TEXT, "Vacator" TEXT, "Reason for change" TEXT, "Successor" TEXT, "Date of successor's formal installation" TEXT)

Who is the vacator for the February 1, 1971 date of successor's formal installation?
SELECT "Vacator" FROM table_54395 WHERE "Date of successor's formal installation" = 'february 1, 1971'
SELECT "Vacator" FROM "table_54395" WHERE "Date of successor's formal installation" = 'february 1, 1971'