As is known, Tarski posed his questions about first-order theories of non-abelian free groups around 1945. However, the questions were not published in his papers or books.

What is the original published source of reliable information about posing Tarski's problems on free groups? When exactly had Tarski posed these questions at first time? Did it happen at some seminar or conference?