loading SCIP...
8 50250 true
1 13 20 22 24 59 61 99