Модуль: Loop statement with condition - while

Задача

Given a program fragment, determine how many times the while loop will be executed in it and what the value of the variable a is after executing this loop.
The answer must be given in the form <number>;<number>
For example, if the loop is executed 5 times, and the value of the variable is equal to 10, then in the answer you need to specify the string 5;10

If the loop loops, then you need to specify only one word INF

Program snippet

a := 8;
b := 12;
while a < b do
  a -= 1;