loading SCIP...
41 1687 true
0 1 2 5 6 7 9 11 12 23 28 29 34 35 36 44 50 54 59 60 65 66 67 69 75 76 78 79 83 84 85 86 89 90 91 93 94 95 97 98 99