solve x^2+y^2=2*sqrt(2)*y and x^2+y^2-4=0