APPROVED Sean Bechhofer DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case