loading SCIP...
10 45766 true
8 25 36 38 52 54 62 66 69 73