6.78/7.64	unsat
