1 \cdot k_{3} \cdot x_{4} + 1 \cdot k_{3} \cdot x_{6} + 1 \cdot k_{3} \cdot x_{7} = k_{3} \cdot k_{17}