loading SCIP...
10 44875 true
8 20 30 51 64 75 78 79 82 91