loading SCIP...
37 3515 true
0 2 3 4 9 12 17 20 22 24 26 31 33 34 36 38 39 42 49 50 55 56 58 59 61 63 64 70 74 81 84 86 88 90 93 95 99