loading SCIP...
39 2266 true
2 5 7 10 19 20 21 23 24 27 31 34 35 38 41 44 46 47 48 50 52 53 54 56 59 65 67 70 71 75 77 78 84 86 92 93 94 97 99