187.35/189.67	unsat
