loading SCIP...
8 44469 true
21 61 62 69 78 84 88 92