loading SCIP...
25 18266 true
4 6 11 13 26 28 30 36 38 46 49 52 53 54 56 63 65 71 72 73 76 86 93 96 99