loading SCIP...
12 38687 true
17 38 43 44 47 48 51 75 76 83 84 96