loading SCIP...
17 31453 true
6 9 11 16 40 52 60 62 73 75 79 84 85 89 93 95 98