Added returning of False for UNSAT theory.