Razmyslov's theorem on existence of non-solvable Engel Lie rings

Statement
Suppose $$p$$ is a prime number that is greater than or equal to 5. In other words, we exclude the cases $$p = 2$$ and $$p = 3$$. Then, there exists a Lie ring $$L$$ that satisfies the following three conditions:


 * 1) The additive group of $$L$$ has exponent $$p$$. Thus, $$L$$ is a Lie algebra over the field of $$p$$ elements).
 * 2) $$L$$ is a $$(p-2)$$-Engel Lie ring.
 * 3) $$L$$ is not a solvable Lie ring.