loading SCIP...
10 43328 true
20 26 41 43 52 55 56 57 64 67