loading SCIP...
32 7703 true
2 3 8 10 18 20 22 24 28 36 51 52 56 60 62 65 71 72 73 74 75 77 81 82 84 86 88 89 90 94 96 99