loading SCIP...
11 42203 true
4 13 18 24 39 49 57 58 60 61 64