Example: 7KP bound to 5M9X