“ If a match does not finish in a tie, but overtime is played for qualification purposes, the markets wikll be settled according to the result at the end of typical time. ”