loading SCIP...
25 17141 true
12 15 20 21 23 24 25 29 34 35 36 42 47 61 62 64 69 70 71 74 78 87 88 90 96