loading SCIP...
16 27078 true
1 10 19 25 28 36 38 43 53 57 60 65 77 88 93 95