loading SCIP...
10 32937 true
19 29 33 36 43 47 58 75 83 93