loading SCIP...
54 125 true
0 2 3 4 6 8 9 12 13 14 16 17 18 20 21 23 27 28 31 32 34 36 38 42 43 44 45 48 52 53 54 55 56 57 62 66 67 69 73 74 76 79 80 81 82 87 88 89 90 91 92 93 98 99