loading SCIP...
11 40562 true
9 18 27 40 50 76 86 88 90 96 99