Considere o seguinte programa, apresentado na forma de uma pseudolinguagem (português estruturado).

Início

Inteiro: x, y, z, k, S;

x ← 1;

y ← 2;

z ← 3;

k ← 4;

Se ((x+z) = (y+k))

Então

[

x ← x + 1;

y ← y – 2;

z ← k;

k ← y;

]

Senão

[

x ← x – 1;

y ← y + 2;

k ← z;

z ← x;

]

S ← x + y + z + k;

Fim.

Nesse programa, o valor assumido ao seu final pela variável S é igual a: