loading SCIP...
32 8703 true
3 6 12 13 16 17 20 25 28 29 31 32 33 37 38 39 40 42 44 46 49 57 63 75 76 85 86 87 93 95 96 99