loading SCIP...
12 35656 true
35 41 43 46 49 65 79 81 86 88 96 97