Cinderella C1 Grammar Journey

Choose the best formal subjunctive in this sentence: “The fairy godmother insisted that Cinderella ________ to the ball before midnight.”