loading SCIP...
13 38687 true
1 9 43 45 54 63 64 65 75 79 82 87 91