Example: CZX bound to 6K41