APPROVED Sean Bechhofer DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case