187.20/190.25	unsat
