loading SCIP...
40 2469 true
4 11 14 15 17 20 21 23 25 26 28 34 39 40 44 49 51 52 56 57 60 67 71 74 75 76 77 78 80 81 82 83 84 85 89 91 92 93 95 96