Почему печатается значение переменной а = 4, - Turbo Pascal

Формулировка задачи:

uses Crt;
Var a, b: Integer;
begin
ClrScr;
   ReadLn(a, b);
   if (5 * a + 4 <= a *b) then  WriteLn(b)
                                      else  a:= b + 5;
                                   WriteLn(a(;
   ReadLn
end.

На выходе имеем: При вводе а = 4 и b = 7 должно печататься b = 7 а имеем:

4   7
                 7
                 4

Почему печатается значение переменной а = 4, условие то выполняется. При невыполнении условия печатается то , что должно быть.

4  3
                8

Решение задачи: «Почему печатается значение переменной а = 4,»

Листинг программы

 ReadLn(a, b);
 if (5 * a + 4 <= a *b) then  WriteLn(b)
 else 
  begin
   a:= b + 5;
   WriteLn(a);
  end;

Объяснение кода листинга программы

ReadLn(a, b); — считывание двух чисел a и b с помощью функции ReadLn
if (5 * a + 4 <= a *b) then WriteLn(b) — проверка условия, если 5a + 4 меньше или равно ab, то выводит значение переменной b
else — иначе
a:= b + 5; — присваивает переменной a значение b + 5
WriteLn(a); — выводит значение переменной a
Код написан на языке Turbo Pascal
Задача заключается в выводе значения переменной a, если условие не выполняется
Переменная a инициализируется значением 4
Переменная b считывается с помощью функции ReadLn
Значение переменной a не больше значения переменной b
Выполняется условие 5 * a + 4 <= a *b
Значение переменной b выводится на экран
Переменная a присваивается значение b + 5
Выполняется действие WriteLn(a);
Значение переменной a выводится на экран
Значение переменной a равно 9
Значение переменной b равно 5
Условие 5 * a + 4 <= a *b не выполняется
Значение переменной a не равно 9
Значение переменной b не равно 5