loading SCIP...
10 43016 true
6 13 16 28 49 51 54 60 93 96