1: \begin{abstract}

2: 	The study of the complexity of the equation satisfiability problem in finite groups had been initiated by Goldmann and Russell in \cite{GoldmannR02}

3: 	where they showed that this problem is in \ptime

4: 	for nilpotent groups  while it is \npc for non-solvable groups.

5: 	Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups $\m G$ having a nilpotent normal subgroup $H$ with nilpotent factor $\m G/H$.

6: 	This paper shows that such normal subgroup must exist in each finite group with equation satisfiability solvable in polynomial time, unless the Exponential Time Hypothesis fails.

7: 	

8: 	

9: 	\keywords{equations in groups \and solvable groups \and exponential time hypothesis \and Fitting length}

10: \end{abstract}