loading SCIP...
14 39609 true
10 20 27 41 58 72 74 77 81 83 84 85 89 95