Uma caixa contém 12 cartões de mesmo tamanho, sendo 5 vermelhos, 4 azuis e 3 verdes. Dois cartões são retirados ao acaso, um após o outro, sem reposição. Qual é a probabilidade de pelo menos um dos cartões retirados ser vermelho?