loading SCIP...
9 51719 true
24 52 62 68 72 77 81 94 99