solve x^2+y^2=6z^2 over integers