На учительском столе лежат 20 ручек трех цветов: синего, черного и красного (есть…

На учительском столе лежат 20 ручек трех цветов: синего, черного и красного (есть хотя бы по одной ручке каждого цвета). Известно, что среди любых трехручек есть хотя бы одна красная. Сколько на столе красных ручек?