loading SCIP...
12 43953 true
12 14 41 46 62 64 74 79 83 85 90 91