loading SCIP...
10 43328 true
21 22 41 49 53 61 71 73 84 87