loading SCIP...
12 39094 true
6 14 23 39 41 45 46 48 66 83 94 95