loading SCIP...
42 1109 true
2 4 6 10 15 17 19 21 22 23 25 30 32 36 38 40 41 42 43 46 50 52 53 60 65 68 71 76 77 81 82 83 85 87 92 93 94 95 96 97 98 99