loading SCIP...
11 37359 true
8 11 19 42 49 68 70 75 76 92 98