187.03/189.28	unsat
