(VUNESP-2019) José e Maria são dois funcionários públicos em um mesmo município que iniciaram suas atividades no dia 2 de janeiro, porém em anos distintos. Sabe-se que, há exatos 3 anos, o tempo de serviço público de Maria nesse município correspondia ao dobro do tempo de serviço público de José, nesse mesmo município. Se hoje, somando-se os tempos de serviço público desses dois servidores, têm-se 12 anos, no dia 2 de janeiro de 2020, Maria completará de tempo de serviço público nesse município
A) 8 anos.
B) 7 anos.
C) 6 anos.
D) 5 anos.
E) 4 anos.