173.94/175.93	unsat
