loading SCIP...
50 109 true
0 1 6 7 8 10 12 13 16 17 18 21 22 25 26 28 30 32 33 36 37 38 41 46 48 50 51 54 56 59 60 65 66 67 68 69 70 73 75 78 79 80 84 85 88 92 94 96 97 98