loading SCIP...
13 36890 true
1 3 16 21 27 29 31 43 50 54 62 66 93