(1) Minerven Sport Club , usually Minerven Bolivar Futbol Club , formerly known as Minerven , is a Venezuelan football club .
(2) Minerven Sport Club , formerly known as Minerven Bolivar Futbol Club , is a Venezuelan football club , usually known as Minerven .

Do these two sentences mean the same thing?

pick from the following.
* no
* yes
no