loading SCIP...
17 29860 true
11 22 41 50 60 61 62 63 65 71 72 73 76 82 83 85 95