loading SCIP...
11 41219 true
15 26 28 30 54 60 65 68 79 88 98