extrema xy-z^2+x^2+4z+y with 4x^2+y^2<=20