loading SCIP...
15 33156 true
2 5 17 19 26 31 34 42 48 50 56 64 75 83 87