loading SCIP...
10 43532 true
8 14 38 47 61 68 69 71 73 87