loading SCIP...
45 250 true
1 3 4 6 7 9 10 12 14 15 16 17 18 20 21 23 25 26 28 30 31 32 33 35 36 43 45 46 52 54 60 61 62 65 66 74 75 76 79 81 84 86 87 96 98