loading SCIP...
8 50203 true
5 15 38 46 54 64 66 80