loading SCIP...
9 46922 true
6 18 35 40 42 48 69 76 79