loading SCIP...
10 39844 true
13 37 52 62 66 73 74 82 83 89