7.17/9.25	unsat
