171.11/173.39	unsat
