loading SCIP...
28 11532 true
4 9 13 18 19 20 24 34 39 40 46 50 52 55 58 60 64 67 71 76 78 79 83 84 88 92 94 97