loading SCIP...
17 32172 true
7 9 17 19 22 38 46 49 50 53 61 71 73 78 80 87 88