已知关于x的不等式x^2+ax-3≤0的解集是[-1,3],则实数a的值为