过点A(-1,4),并且与圆(X-3)^2+(Y+1)^2相切于点B(2,1)的圆的方程