Five.

Started with 25, still have 12, need to account for 13.

Dog took one, so that’s 12.

If Alice and Gunther got the same number it would be 6 each.

But she got 2 more than him, which is just a +1/-1 adjustment.

So Alice got 7 and Gunther got 5.