loading SCIP...
23 20875 true
7 9 19 20 24 28 35 40 41 42 44 45 53 61 63 66 67 70 75 85 86 91 93