173.57/173.99	unsat
