1: \begin{abstract}

2:  In this paper two algorithms solving circuit satisfiability problem over supernilpotent algebras are presented. The first one is deterministic and is faster than fastest previous algorithm presented in \cite{aichinger}. The second one is probabilistic with linear time complexity. Application of the former algorithm to finite groups provides time complexity that is usually lower than in previously best \cite{foldvari2018} and application of the latter leads to corollary, that circuit satisfiability problem for group $\m G$ is either tractable in probabilistic linear time if $\m G$ is nilpotent or is \npc if $\m G$ fails to be nilpotent. The results are obtained, by translating  equations between polynomials over supernilpotent algebras to bounded degree polynomial equations over finite fields.

3: \end{abstract}

4: