6.78/9.20	unsat
