173.07/173.67	unsat
