1: \begin{abstract}

2: %

3: We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists.

4: %

5: As a corollary, we obtain a complexity classification for the same problem over groups.

6: %

7: \end{abstract}

8: