No such list dimacs-spcom