169.67/173.69	unsat
