187.96/191.02	unsat
