No such list dimacs-codingcom