Example: HFZ bound to 3ILU