loading SCIP...
18 29969 true
5 6 28 40 42 45 46 52 53 57 74 80 81 82 89 91 95 99