loading SCIP...
8 45984 true
21 47 48 60 65 69 75 82