loading SCIP...
18 31687 true
3 11 17 18 23 34 43 46 53 62 66 67 71 79 86 87 89 95