loading SCIP...
8 52562 true
7 21 30 42 50 55 68 86