172.52/173.51	unsat
