loading SCIP...
17 32938 true
8 9 13 25 30 33 34 40 46 47 53 58 67 69 84 85 98