6.78/7.72	unsat
