loading SCIP...
10 41766 true
5 13 24 37 43 59 65 69 77 97