loading SCIP...
8 41687 true
17 40 50 58 68 91 93 97