loading SCIP...
13 36985 true
9 15 23 24 33 34 45 49 74 77 79 87 93