172.06/172.88	unsat
