loading SCIP...
11 41719 true
2 13 28 41 53 57 62 76 77 79 88