172.82/173.86	unsat
