Formula: H1 = max(max(S12, S13) – X, 0)
Again an example of a truly multi-currency option. In any case, PAT can always identify financially equivalent alternative payoffs.