173.67/175.24	unsat
