Added some unsat boolean tests