167.61/167.93	unsat
