Formal Brauer groups arising from certain weighted K3 surfaces The fundamental group of a \(\mathbb{C}\mathbb{P}^2\) complement of a branch curve as an extension of a solvable group by a symmetric group 