188.35/191.67	unsat
