loading SCIP...
64 78 true
0 2 4 7 8 9 11 14 20 22 23 24 26 27 28 29 31 34 35 36 41 44 46 47 48 49 52 53 54 56 57 58 59 62 63 64 66 67 68 69 71 72 73 74 75 76 77 78 79 80 82 84 85 86 87 88 89 90 91 92 94 96 97 98