loading SCIP...
10 41766 true
19 25 26 43 52 54 57 70 75 89