On minimal coset covering of solutions of a boolean equation

Для уравнения $x_1x_2\dots x_n+x_{n+1}x_{n+2}\dots x_{2n}+x_{2n+1}x_{2n+2}\dots x_{3n}=1$ над конечным полем $F_2$ дана оценка минимального количества систем линейных уравнений над тем же полем, объеденение решений которых совпадает с решением уравнения. В статье доказывается, что это число не больше $9n^{\log_2^3}+4 .$