loading SCIP...
52 78 true
3 5 10 13 14 15 16 17 19 20 22 23 26 28 29 31 34 36 37 39 40 42 43 46 47 48 50 52 54 62 64 69 70 71 73 74 75 76 79 80 82 84 85 87 88 89 90 91 93 94 95 99