173.07/175.72	unsat
