loading SCIP...
16 35859 true
8 9 15 18 19 24 25 28 31 43 46 77 79 80 97 98