Invalidada por sentença judicial a demissão do servidor estável, será ele

a) indenizado, e o eventual ocupante da vaga será vitaliciado no cargo.

b) reintegrado, e o eventual ocupante da vaga, se estável, reconduzido ao cargo de origem, sem direito a indenização, aproveitado em outro cargo ou posto em disponibilidade com remuneração proporcional ao tempo de serviço.

c) reintegrado, e o eventual ocupante da vaga, se estável, reconduzido ao cargo de origem, com direito a indenização, aproveitado em outro cargo ou posto em disponibilidade com remuneração proporcional ao tempo de serviço.

d) indenizado, e o eventual ocupante da vaga, se estável, reconduzido ao cargo de origem, sem direito a indenização, aproveitado em outro cargo ou posto em disponibilidade com remuneração proporcional ao tempo de serviço.