loading SCIP...
8 48484 true
19 41 59 63 65 74 79 83