172.14/173.32	unsat
