loading SCIP...
11 43437 true
15 27 35 37 40 43 54 64 73 78 85