loading SCIP...
36 3141 true
0 4 5 8 12 13 15 19 22 24 38 42 44 48 51 52 54 56 60 69 73 75 78 79 80 82 83 85 88 90 91 92 94 96 98 99