loading SCIP...
70 78 true
0 1 2 3 4 5 6 7 8 10 11 12 16 21 22 23 24 25 26 27 28 29 31 33 34 35 36 37 39 40 41 42 43 45 47 48 49 50 52 54 55 56 57 58 60 61 63 66 67 68 69 70 72 73 74 75 76 77 78 81 82 83 84 86 89 91 93 94 95 99