Ответ:

Перед каждой проверкой условия значение k последовательно равно 1, 3 и 9. После третьего выполнения тела цикла оно становится 27, и условие k < 20 становится ложным.

k перед проверкойk < 20k после выполнения тела
1Да3
3Да9
9Да27
27Нет—

Ответ: 3 раза.