loading SCIP...
8 42047 true
1 19 20 39 52 66 75 78