loading SCIP...
62 78 true
0 2 4 6 9 10 13 16 17 21 23 24 27 28 29 30 32 34 35 36 37 39 41 46 49 51 52 53 55 57 58 59 60 61 62 63 65 66 67 68 70 72 73 75 76 78 79 80 82 83 85 87 89 90 91 92 93 94 96 97 98 99