loading SCIP...
17 31687 true
5 11 14 17 29 31 34 36 40 42 50 51 55 68 72 78 79