Example: KLT bound to 3F4X