loading SCIP...
42 1953 true
0 3 6 7 8 9 11 13 14 17 18 20 22 26 33 34 36 38 39 40 41 45 49 51 54 57 58 59 60 61 62 64 65 67 68 72 75 79 86 90 94 99