loading SCIP...
63 78 true
0 2 3 6 8 10 11 12 13 15 16 19 20 21 23 25 26 27 29 32 33 37 38 39 40 41 42 43 44 45 46 47 49 50 53 54 56 57 59 60 64 67 68 69 70 71 72 74 77 78 81 83 84 86 88 89 90 91 94 95 97 98 99