К празднику надули 25 цветных шариков. Из любых 13 найдется хотя бы 1 желтый, из любых 20 - хотя бы 2 синих и из любых 21 хотя бы 1 красный. Сколько синих шариков?