В любом случае, проще решать систему из 14 диофантовых уравнений.
Еще можно изучить статью, в которой эта формула появилась.
Лет 20+ тому я увидел полином Джонса в "Успехах мат.наук" и загорелся его исследованием. Исследование длилось недолго --
пару часов потребовалось, чтобы разложить этот полином в те самые диофантовы уравнения (из многочлена они получаются тривиально, а в статье, если я правильно понимаю шли обратным путём -- получали уравнения [собственно, в этом сложность], а потом легко собрали их в многочлен) (да одного взгляда достаточно же :) и ещё примерно столько же, чтобы понять, что никогда не удастся найти конкретных значений переменных.
Я ошибся в каком-то из упомянутых выводов? Тогда мне всё это казалось очень просто, но сейчас я уже не помню и не могу быть уверен. А хотелось бы :)