loading SCIP...
10 29609 true
4 15 39 45 54 60 61 64 82 99