Questão de TI - Desenvolvimento de Sistemas — Definição de Algoritmos e Estruturas de Controle — VUNESP 2022

Analise o procedimento a seguir, expresso na forma de uma pseudolinguagem (português estruturado).

Início
    Inteiro: a1, a2, a3, i;
    Leia a1;
    a2 ← 1;
    a3 ← 5;
    Para i de 1 até 4 faça
     [
         Se (a1+a2) < a3
              Então
                  a2 ← a2 + 1;
              Senão
                 a3 ← a3 + 2;
      ]
      a1 ← a2 + a3;
      Imprima a1;
Fim.

Assumindo que o valor lido para a variável a1 tenha sido 3, então o resultado impresso ao final do procedimento para a variável a1 é igual a: