187.50/190.13	unsat
