question on dimacs added