No such list dimacs-dci02_teachers