1 + 1 (1й раз) а > 3? нет
2 + 1 (2й раз) a > 3? нет
3 + 1 (3й раз), а > 3? да,
но однако третий раз тело выполнилось, потому что это цикл с постусловием. итого три раза выполнится тело цикла.
a = 4
b = 1, потому что мы его не меняли после инициализации, хотя использовали его для других целей
s = 5