188.59/191.77	unsat
