loading SCIP...
10 44109 true
2 5 8 13 20 34 46 48 51 72