6.88/9.83	unsat
