loading SCIP...
27 13688 true
2 5 10 14 15 20 21 23 26 32 34 40 52 56 57 58 61 62 66 67 72 81 82 84 89 95 98