loading SCIP...
42 1171 true
0 2 9 10 11 16 17 19 23 28 31 32 36 37 41 44 45 47 48 54 59 61 63 67 68 71 72 75 76 77 78 79 82 85 86 88 90 91 93 95 97 98