loading SCIP...
17 32265 true
6 23 24 26 29 38 39 40 42 43 49 58 62 76 81 84 92