loading SCIP...
10 41094 true
15 16 18 23 28 61 71 86 89 91