loading SCIP...
8 50156 true
3 9 15 22 26 36 51 74