loading SCIP...
13 38062 true
4 6 7 11 42 49 53 61 65 66 69 84 88