6.88/9.18	unsat
