Avalie o algoritmo abaixo, escrito em pseudocódigo (Portugol):

algoritmo "prova"
var
   p1, p2, p3: inteiro
início
   p1 ← 1
   p2 ← 5
   p3 ← 0
   enquanto (p1 < p2) faça
      p2 ← p2 - p1
      se (p2 = p3) então
         p1 ← p1 + 2
      senão
         p1 ← p1 + 1
      fim_se
      p3 ← p3 + 1
   fim_enquanto
fim

Ao final da execução do algoritmo acima, qual será o valor da variável "p3"?