187.50/191.47	unsat
