loading SCIP...
8 39016 true
21 36 54 65 69 75 88 97