loading SCIP...
17 28500 true
8 9 17 20 29 42 47 54 56 57 58 61 74 76 82 87 89