solve a^2 + b^2 = 6 c^2 over integers