6.78/9.94	unsat
