loading SCIP...
10 30719 true
3 23 42 53 57 61 74 77 78 84