loading SCIP...
10 44594 true
6 15 50 53 56 75 78 84 88 92