loading SCIP...
29 10032 true
0 3 8 11 13 14 15 21 26 28 37 38 42 45 46 47 54 59 66 67 71 75 79 81 86 87 88 90 94