В ожидании Нового Года (6)

27. Но это путём подбора, исходя из соображений, что обе переменные - нечетные числа. Решать путем побора - ненаучно! 😣

Верно.
Можно и так решать:
ab + 2a + 2b + 4 = 55,
a(b + 2) + 2(b + 2) = 55
(b + 2)(a + 2) = 55.
Поскольку разложение числа 55 на простые множители представляется произведением 5*11, то
a+2=5, b+2 = 11, или a+2=11, b+2=5.
В обоих случаях ab=3*9=27.