loading SCIP...
11 39328 true
3 17 19 45 49 61 75 78 84 89 96