loading SCIP...
17 32875 true
7 17 23 40 45 53 62 65 72 74 77 81 86 88 91 94 99