loading SCIP...
8 27578 true
3 6 12 61 79 93 96 99