loading SCIP...
10 46016 true
3 7 16 22 42 50 74 82 84 96