6.88/9.25	unsat
