Let the domain of discourse be the set $S = \{1, 2, 3, 4, 5\}$. How many distinct interpretations of a binary predicate $P(x, y)$ on $S$ satisfy the first-order sentence $\forall x \exists! y P(x, y)$ (where $\exists!$ denotes 'exists unique')?