172.09/173.86	unsat
