loading SCIP...
32 6235 true
1 2 6 7 8 10 13 20 24 25 29 32 33 35 46 51 52 54 56 61 63 66 68 78 82 83 87 90 91 93 95 99