loading SCIP...
41 2359 true
0 1 2 3 4 8 11 15 17 18 19 22 24 25 30 31 34 35 36 37 38 39 42 43 46 49 52 53 59 61 64 67 69 70 75 76 83 85 87 89 97