loading SCIP...
28 11797 true
2 3 5 7 16 17 20 34 35 39 46 49 51 53 56 60 61 70 71 72 74 80 82 83 88 95 96 97