loading SCIP...
10 44406 true
6 10 24 26 28 38 66 70 82 86