loading SCIP...
11 46969 true
3 14 27 29 35 47 49 50 75 82 89