loading SCIP...
60 78 true
0 1 4 5 9 10 12 18 19 20 21 22 23 24 25 27 28 31 36 37 38 39 40 42 44 45 46 50 54 58 59 60 61 62 63 64 65 66 67 68 70 71 73 74 75 77 78 79 80 81 82 83 84 86 91 93 94 96 97 98