loading SCIP...
8 51609 true
11 20 25 29 36 61 75 89