loading SCIP...
11 42750 true
12 22 28 41 63 65 68 82 91 94 96