loading SCIP...
9 52234 true
7 11 42 46 55 65 68 75 87