Better hxt upper bound