loading SCIP...
12 37828 true
23 25 27 31 43 65 72 73 75 80 85 99