No such list dimacs-msi