김상근 백작은 한국의 대표적인 뱀파이어이다. 김상근 백작의 공격을 방어하려면 아래와 같은 식을 암기해야 한다.
여기서 a, b, c, n은 자연수이다. 예를 들면, 아래와 같은 식이다.
그런데, 위와 같은 식은 너무 길다. 이렇게 긴 식을 외우면, 외우는 도중에 김상근 백작이 공격을 할 것이고, 이 문제를 읽는 당신은 뱀파이어로 변한다. 따라서, 아래와 같은 짧은 식을 외우는 것이 좋다.
n이 주어졌을 때, 암기하기 쉬운 식을 찾는 프로그램을 작성하시오. 암기하기 쉬운 식이란, a+b+c+b가 가장 작은 식이고, a/b가 c/b보다 크거나 같아야 한다. 이 조건을 만족하는 식은 항상 유일하다. 만약, 4000보다 작은 a+b+c+b가 없다면 "No value."를 출력한다.