171.99/173.21	unsat
