loading SCIP...
68 78 true
0 2 4 5 6 7 8 9 10 12 13 15 17 18 19 21 22 23 24 25 27 30 31 32 33 34 35 36 37 38 40 42 43 44 45 46 47 48 49 50 51 53 55 56 59 60 63 64 65 67 70 71 73 74 76 77 78 80 85 86 89 90 91 93 94 95 97 99