У меня рассуждениями удалось уменьшить перебор до некоторой степени, но он остался всё равно слишком большим, так что я из лени быстро написал программу с полным (почти) перебором и нашёл единственное решение (с точностью до преобразований).
Там не может быть единственного решения, так как если заменить каждое из чисел

на

, свойство сохранится.