已知方程组 的解满足x+y=-1，求k的值。