loading SCIP...
28 8765 true
0 2 6 10 14 17 19 21 24 25 28 29 34 37 43 47 50 53 54 59 65 68 79 81 82 83 87 93