6.78/8.69	unsat
