loading SCIP...
12 41094 true
10 17 27 35 42 51 57 68 78 84 91 93