loading SCIP...
17 31610 true
6 13 20 25 29 30 34 36 38 41 49 50 52 66 72 78 86