Solution found:
  a = [2]

Solution found:
  x = 1

No solution found!

Solution found:
  x = "foo"
  y = ["foo"]

No solution found!

Solution found:
  x = 1
  y = 2
  z = 1

Solution found:
  x = [NIL]
  y = NIL
  z = NIL

Solution found:
  x = ("", 0)
  y = ""
  z = 0

No solution found!