Existence, Uniqueness and Counterexamples · Challenge problem

Find all positive integers $x, y$ with $2^x + 1 = y^2$. There is exactly one solution; what is $x + y$?