Um gerenciador de títulos de uma biblioteca classifica todos os seus livros físicos como “Emprestado”, “Disponível” e “Devolvido”.

Sabe-se que:

\( \bullet \) os títulos dos livros classificados como “Emprestado” são apresentados no sistema com um indicador na cor vermelha e não estão na biblioteca (logo, não estão disponíveis para a retirada);

\( \bullet \) os títulos dos livros classificados como “Disponível” são apresentados no sistema com um indicador na cor verde e estão na biblioteca disponíveis para a retirada;

\( \bullet \) os títulos dos livros classificados como “Devolvido” são apresentados no sistema com um indicador na cor amarela e, apesar de estarem na biblioteca, não estarão disponíveis para a retirada.

Se uma biblioteca conta com 60000 títulos, dos quais 7000 têm indicador na cor vermelha e 50400 têm indicador na cor verde, quantos livros estão na biblioteca e não estão disponíveis para a retirada?