loading SCIP...
32 8984 true
4 5 7 8 9 10 11 12 17 19 23 24 25 28 32 34 35 38 39 41 55 56 60 65 75 78 81 84 88 89 91 93