Added yielding False for UNSAT theories.