loading SCIP...
52 78 true
0 1 6 7 8 15 16 17 18 24 26 27 28 29 30 32 35 37 38 39 40 41 42 47 48 49 54 56 57 60 62 63 64 65 67 69 72 74 75 76 77 80 81 84 86 87 89 91 92 94 96 99