Ao final de um campeonato de futebol, foram premiados os jogadores que marcaram doze, treze ou quatorze gols cada um, durante todo o campeonato. Qual foi o número de atletas premiados, sabendo-se que o total de gols marcados por eles foi 115 e que somente cinco atletas marcaram mais de doze gols cada um?