heu1 mit scip kombiniert aber noch fehlerhaft