loading SCIP...
47 125 true
0 2 4 5 8 13 14 17 21 22 24 25 28 29 30 31 36 41 43 44 50 51 53 55 57 59 60 64 65 66 67 68 69 70 75 76 78 79 80 81 85 89 93 94 95 97 99