Os alunos matriculados no Colégio Militar do Rio de Janeiro ...

Os alunos matriculados no Colégio Militar do Rio de Janeiro (CMRJ) estão distribuídos, no ensino fundamental, composto pelos 6º, 7º, 8º e 9º anos; e no ensino médio, formado pelos 1º, 2º e 3º anos. Neste ano de 2015, no ensino médio, o 3º ano tem 576 alunos; o 2º ano tem 1/9 a menos de alunos que o 3º ano; e o 1º ano tem 12,5% a menos de alunos que o 2º ano. Sabendo que 2/5 do total dos alunos estão matriculados no ensino fundamental, quantos alunos, ao todo, estão matriculados no CMRJ este ano?