Snow White C2 Advanced Grammar Challenge

Choose the best example of a formal subjunctive: “The dwarfs insisted that…”