loading SCIP...
40 2437 true
0 2 4 5 7 8 10 15 16 19 20 21 24 27 29 32 36 38 43 47 50 54 55 56 66 67 72 74 75 78 79 81 83 84 86 88 93 96 97 99