loading SCIP...
17 32047 true
19 20 28 29 35 43 53 54 55 56 58 68 69 78 79 82 86