loading SCIP...
12 36235 true
10 14 17 37 40 41 42 45 49 51 80 81