loading SCIP...
13 38266 true
1 15 20 21 22 31 34 39 40 41 50 55 75