Em um relatório sobre as horas extras cumpridas em um dado mês por três funcionários lotados em um setor do Tribunal de Justiça, foi registrado que:

- Alícia cumpriu duas horas extras a mais do que a metade do número de horas extras cumpridas por Benício;

- Benício cumpriu 3 horas extras a mais do que a terça parte das horas extras cumpridas por Casimiro;

- Casimiro cumpriu 4 horas extras a mais do que Alícia.

Assim sendo, nesse mês, o total de horas extras cumpridas por esses três funcionários foi