187.23/191.08	unsat
