A minimal infinitely based semigroup whose variety is polynomially recognizable

We exhibit a six-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.