loading SCIP...
13 35687 true
7 15 18 21 23 50 67 74 79 82 84 89 94