x_{6} = x_{3} + 2 \cdot x_{4} + 2 \cdot x_{5}\\ 1 \cdot k_{19} \cdot x_{2} + 1 \cdot k_{19} \cdot x_{5} = k_{19} \cdot k_{20}