6.78/7.76	unsat
