loading SCIP...
43 1953 true
2 6 12 15 19 23 25 26 27 31 37 40 44 46 48 51 54 55 56 57 58 59 64 67 68 71 72 77 78 79 80 81 83 84 85 87 90 92 94 95 97 98 99