loading SCIP...
20 26296 true
0 7 12 20 23 26 28 32 34 35 38 40 47 49 55 67 76 78 89 95