solve 5^x = 6y^2 + 1 over the integers