No such list dimacs-deliberate