Note we can solve this even more accurately using the binomial formula
of Chapter 15. So the chance is
[(25!)/(12!13!)]*(1/2)^12*(1/2)^13 = 15.498%.
(You don't need this many decimal places. I just wanted to show how close the normal approximation is.)