loading SCIP...
78 78 true
0 1 2 3 4 5 6 7 8 9 10 11 14 15 17 19 20 22 23 24 25 26 27 28 30 32 33 34 36 38 39 40 41 42 43 44 45 47 48 49 50 51 53 54 55 57 58 59 60 61 62 63 64 66 67 70 71 73 74 75 77 78 79 80 82 84 85 87 88 89 90 92 93 94 95 96 97 99