В условном операторе, который вы привели, переменной c присваивается значение 3 в блоке else. Это означает, что условие в первой части if (то есть a < 5) и условие в elif (то есть a > 5) не выполняются.
Таким образом, чтобы переходить к блоку else, значение a должно быть равно 5 (в противном случае события никогда не достигнут блока else).
Итак, переменная a имеет значение 5.