У Марины 2 автомата: один обменивает 1 белый жетон на 4 красных жетона, другой обменивает 1 красный жетон на 3 белых. У Марины 4 белых жетона. После 11 обменов девочка получила 31 жетон. Сколько из них красных?