loading SCIP...
10 47515 true
16 17 23 32 68 72 74 82 84 93