loading SCIP...
8 32391 true
13 50 51 80 84 89 93 97