解方程组3x-y+2=0、x2+y2=20