loading SCIP...
64 78 true
0 1 3 12 13 16 19 20 25 26 27 28 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 49 52 54 55 56 57 62 64 65 66 67 68 70 72 73 74 77 80 81 83 84 85 86 88 89 90 92 93 94 95 96 97 98 99