loading SCIP...
11 40890 true
3 7 16 19 24 49 50 53 56 57 62