loading SCIP...
39 2500 true
5 6 8 9 18 19 20 22 24 26 28 29 36 38 42 43 45 47 51 54 57 60 61 64 65 68 70 73 74 75 78 79 80 82 85 86 88 89 99