Unsolvable word problem for Pi groups

Determine whether a finitely generated Pi-group satisfying the stated profinite embedding conditions can have an unsolvable word problem.

Background

A Pi-group is a finitely generated group with Pi-zero-one word problem. The question asks whether such a group can nevertheless have an unsolvable word problem while satisfying the relevant profinite-group characterization.

References

Can such a group $L$ have unsolvable word problem?

Open Problems in Mathematical Logic  (2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 6, subsection Profinite groups, item (a)