loading SCIP...
24 18859 true
0 1 3 9 35 42 51 55 57 58 60 62 64 65 66 68 70 74 75 77 84 91 93 94