loading SCIP...
50 78 true
0 1 3 5 6 9 12 15 18 19 22 23 25 26 28 30 31 34 37 38 40 43 44 49 50 51 52 56 58 59 61 63 64 65 68 70 72 74 75 76 81 82 83 84 85 86 88 92 97 98