Зачарування Графа

Граф Графон з «Вулиці Сезам» розвинув у собі нову одержимість. Він залишив жваві вулиці Нью-Йорка, де прославився, і тепер блукає Орегоном, несподівано з'являючись і кидаючи нічого не підозрюючим програмістам загадкові математичні задачі. Тільки один спосіб довів свою ефективність, щоб відволікти його: його заворожують рівняння вигляду

для натуральних чисел $a$, $b$, $c$, та $n$. Наприклад,

утримувало його у захопленні цілих $20$ хвилин, даючи математику Генрі Дудені достатньо часу, щоб врятуватися від обстрілу питань Графа. На жаль, такі великі числа занадто складно запам'ятати, тому коротші, такі як

є кращими. Кожне таке рівняння допомагає лише один раз, тож ваше завдання — написати програму, яка буде генерувати нові такі рівняння. А саме, вам буде задано $n$, і потрібно підібрати натуральні числа $a$, $b$, $c$, які задовольняють це рівняння. Якщо існує декілька розв'язків, слід повідомити той, у якого найменша сума a + b + c + b, причому значення $a/b$ має бути не менше за $c/b$. Можна вважати, що такий розв'язок унікальний. Якщо не можна знайти натуральні $a$, $b$, $c$ такі, що a + b + c + b менше $4000$, потрібно вивести "No value.".