loading SCIP...
8 51907 true
29 32 38 45 56 74 78 83