loading SCIP...
10 42734 true
2 6 13 21 36 45 53 54 56 60