已知圆C的方程为x^2+(y+1)^2=4,直线l的方程为x-y+1=0