loading SCIP...
9 22531 true
16 19 30 33 42 60 66 76 92