loading SCIP...
11 39093 true
6 9 17 20 25 47 71 88 94 96 99