No such list dimacs-mms-all