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