6.78/7.75	unsat
