loading SCIP...
8 53687 true
12 17 22 31 34 46 54 61