loading SCIP...
24 19187 true
0 1 2 4 10 12 13 16 27 33 36 38 40 46 50 54 56 67 69 77 81 87 93 97