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