6.78/7.95	unsat
