loading SCIP...
23 21140 true
1 4 10 15 19 26 42 43 46 55 57 71 72 78 79 86 90 91 94 95 97 98 99