loading SCIP...
28 14203 true
0 3 5 10 15 22 27 29 33 40 50 53 55 56 57 60 61 67 68 70 71 75 76 83 84 86 91 94