groebner basis {x^2 + y ^2 -70^2,x^2 + z^2 - 119^2,30x- s*z,30x + s*y – x*y}