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