loading SCIP...
57 62 true
0 1 2 3 5 6 7 8 13 14 16 20 22 25 26 28 29 31 33 34 35 36 39 40 41 42 43 44 46 47 48 49 50 53 54 55 56 57 60 62 64 65 66 67 72 74 75 77 78 81 83 85 86 88 94 96 99