loading SCIP...
9 24516 true
1 18 22 42 52 70 77 81 94