loading SCIP...
72 78 true
0 1 2 3 4 5 6 7 9 10 11 12 13 14 17 18 19 20 21 22 24 25 26 27 28 29 30 31 33 38 39 40 41 42 43 44 47 48 50 51 52 53 55 56 58 59 60 63 64 67 68 69 70 72 73 74 75 76 78 79 80 81 83 84 85 86 87 88 91 92 94 99