188.92/191.48	unsat
