6.78/9.91	unsat
