Revert "SCIP"

This reverts commit 69619a9f67abd268272323097724b5d6faf83517.