loading SCIP...
9 28687 true
4 5 9 34 42 48 53 59 93