nbEdges pour minisat