187.61/190.72	unsat
