Semigroup problem

Let * be a semigroup operation that satisfies the following
properties:

all z exists x exists y (x * y = z).
all x all y (F(x) * G(y) = y * x).

The problem is: prove that * is commutative or find a counterexample
(finite if it is possible) to this claim.

Thanks
Marc
.