loading SCIP...
50 125 true
0 4 5 7 9 12 13 14 18 20 22 25 26 28 31 32 33 36 37 38 40 43 44 46 48 50 51 52 56 60 61 62 64 65 68 69 73 79 82 83 84 86 87 88 90 91 94 95 96 99