loading SCIP...
7 52234 true
21 25 26 41 62 63 85