6.78/9.40	unsat
