The purpose of this paper is to present a new example of a recursively based semigroup variety (of simpler type than the examples, described in earlier papers concerning this field), having solvable local word problem, but unsolvable equational theory.