6.83/9.69	unsat
