Тут то как раз не сложно, как мне кажется. Визирь С знает сумму и исходя из этого находит правильный вариант. Он, раскладывает сумму на составляющие, находит произведение каждой пары и ищет то произведение, суммы вероятных множителей которого позволяют однозначно вычислить ответ.
Пример:
Сумма 17
=2+15 -> 2*15=30=2*15=3*10=5*6 т.е. суммы 17, 13, 11 - однозначно выяснить нельзя
=3+14 -> 3*14=42=2*21=3*14=6*7 т.е. суммы 23, 17, 13 - однозначно выяснить нельзя
=4+13 -> 4*13=52=2*26=4*13 т.е. суммы 28 и 17 - АГА. однозначно выяснить можно, так как 17 принадлежит ряду вероятных сумм, а 28 нет.
=5+12 -> 60=2*30=3*20=4*15=5*12=6*10 т.е. суммы 32,23,19,17,16 - однозначно выяснить нельзя
=6+11 -> 66=2*33=3*22=6*11 т.е. суммы 35,25,17 - однозначно выяснить нельзя
=7+10 -> 70=2*35=5*14=7*10 т.е. суммы 37,19,17 - однозначно выяснить нельзя
=8+9 -> 72=2*36=3*24=4*18=6*12=8*9 т.е. суммы 38,27,22,18,17 - однозначно выяснить нельзя
При сумме 17 вариант произведения один - 52. Подозреваю, что для всех остальных сумм вариантов может быть больше 1, проверять лень