Considere o seguinte algoritmo em pseudocódigo, onde = é o operador de atribuição.

prog principal
inteiro: x;
inteiro: y;
x = 5;
enquanto (x>1)
{
x = x - 1;
y = 2 * x;
}
y = y + x;
escreva (y);
fimprog

Qual é o valor de y gerado na saída?