loading SCIP...
45 140 true
1 2 5 7 8 10 11 14 15 18 19 21 26 33 34 40 41 42 43 44 45 46 50 53 54 58 59 61 71 72 73 74 76 78 79 82 84 85 87 89 90 94 95 96 99