loading SCIP...
10 46453 true
2 9 12 19 28 52 53 75 80 95