loading SCIP...
12 36921 true
15 21 23 25 34 39 41 49 65 66 89 90