Кирилл, Маша и Саша ловили окуней. Кирилл поймал окуней меньше, чем Маша. Вместе Кирилл и Маша поймали столько же окуней, сколько поймал Саша. Меньше четырёх окуней не поймал никто из них, а вместе они поймали 20 окуней. Сколько окуней поймала Маша?