loading SCIP...
12 39719 true
3 10 13 20 22 26 29 37 42 47 69 97