loading SCIP...
13 37672 true
19 25 35 45 51 53 61 82 83 84 89 92 93