loading SCIP...
40 2093 true
0 2 3 5 9 12 13 17 18 19 27 28 29 32 34 36 38 41 42 44 45 50 51 56 64 65 66 68 69 72 75 82 85 87 88 89 90 93 95 97