A depreciação de um ativo de um porto (um guindaste) segue o modelo linear V(t) = 800 − 40t, em que V(t) é o valor do ativo em milhares de reais e t é o tempo em anos. Sabendo que o valor contábil mínimo para o ativo é de R$ 200.000, assinale a alternativa que apresenta após quantos anos o guindaste atingirá esse valor.