loading SCIP...
43 1250 true
0 2 4 9 11 13 14 18 20 24 25 26 28 29 38 39 41 43 45 46 48 50 51 52 57 58 59 62 65 66 71 72 74 79 80 81 82 83 84 87 91 93 95