loading SCIP...
12 37609 true
0 5 16 22 38 43 44 53 61 79 88 93