188.94/191.35	unsat
