But earlier calculation with recurrence gave \(a_5 = 13\), yes.