1: \begin{abstract}

2: We exhibit a 6-element semigroup that has no finite identity basis

3: but nevertheless generates a variety whose finite membership

4: problem admits a polynomial algorithm.

5: \end{abstract}