Figure out a way to test UNSAT cache

[blishko]

Due to improvements in #935, our previous test for UNSAT cache had to be removed, because propagating inequalities made the whole example trivial to solve.

We need a new way to test that UNSAT cache mechanism is working.