172.05/172.86	unsat
