If we run out of variables, satisfiable; according to WP.
Check for null candidates.
Comment out this test.
Allow this literal.
Debug only `satisfy'.