В коробке синие, красные и зеленые карандаши - всего 20 штук. Синих карандашей в 6 раз больше, чем зеленых. Красных меньше, чем синих. Сколько красных карандашей в коробке?