172.34/175.23	unsat
