a%3D25%2C a%5E2%2Bb%5E2%3Dc%5E2%2C solve over the integers