loading SCIP...
8 38984 true
9 10 36 66 78 82 90 98