loading SCIP...
8 40125 true
13 16 24 50 55 79 94 99