Erster Versuch: Speicherzugriffsfehler zu beheben (vorher neues SCIP
installiert)