loading SCIP...
13 40656 true
16 25 34 37 48 60 65 70 80 82 92 94 99