О наследственных сверхрадикальных формациях

Формация $\mathfrak F$ называется сверхрадикальной, если она удовлетворяет следующим требованиям: 1) $\mathfrak F$ – нормально наследственная формация; 2) любая группа $G=AB$, где $A$ и $B$ – $\mathfrak F$-субнормальные $\mathfrak F$-подгруппы из $G$, принадлежит $\mathfrak F$. Приводится пример наследственной сверхрадикальной формации, которая не является разрешимо насыщенной. Тем самым дается отрицательный ответ на вопрос 14.996) из “Коуровской тетради”.