6.78/7.52	unsat
