loading SCIP...
12 41531 true
20 24 32 38 39 42 46 47 57 65 82 84