loading SCIP...
8 42016 true
2 3 19 27 43 50 66 78