loading SCIP...
7 55625 true
19 21 22 31 61 84 95