1 \cdot k_{18} \cdot x_{5} + 1 \cdot k_{18} \cdot x_{18} + 1 \cdot k_{18} \cdot x_{20} + 1 \cdot k_{18} \cdot x_{22} + 2 \cdot k_{18} \cdot x_{23} = k_{18} \cdot k_{19}