已知a>0且a≠1若函数f(x)=a^lg(x^2-2x+3)有最大值,则不等式㏒ a^(x^2+5x+7)>0的解集为