本题中解的唯一性目前好像仍为 Open Problem。

具体参考 link 中提及到是推测有唯一性，虽然引用的第一篇文献我没找到具体的相关内容……

总之由于目前没法说明解的唯一性，建议加上 SPJ。