loading SCIP...
37 3500 true
1 2 4 9 13 14 15 18 20 21 24 25 26 30 35 41 43 46 47 52 54 56 64 65 68 71 74 75 79 83 85 86 88 90 91 93 96