loading SCIP...
23 21109 true
4 9 12 19 40 45 46 50 51 59 65 71 72 76 77 79 80 84 86 88 89 92 99