Formula: H1 = max(max(s12, s13) - X, 0)
Again, here is another example of a truly multi-asset option. Once again, PAT instantly identifies financially equivalent alternative payoffs.