6.78/9.78	unsat
