loading SCIP...
20 26687 true
12 19 25 28 33 36 37 38 50 53 55 59 61 63 82 88 94 95 97 98