AllSAT

These are only required for the tests below, so I have imported these on a strictly-need-to basis.