loading SCIP...
25 16844 true
3 6 8 10 12 16 21 26 32 34 38 43 47 52 53 55 63 65 68 72 79 81 83 87 89