No such list dimacs-cci-all