Solution #1:
  x = Q_0 :: Q
  y = Q_0 :: Q
  z = Q_1 :: Q
Solution #2:
  x = Q_0 :: Q
  y = Q_0 :: Q
  z = Q_0 :: Q
Found 2 different solutions.