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