loading SCIP...
10 46078 true
21 44 49 52 65 69 72 80 82 99