loading SCIP...
28 14266 true
0 5 10 12 15 17 22 23 26 27 35 43 45 52 55 57 60 61 65 68 71 74 76 79 85 87 88 97