У Марічки два автомати: один обмінює 1 білий жетон на 4 червоні, інший обмінює 1 червоний жетон на 3 білих. У Марічки 4 білі жетони. Після 11-ти обмінів дівчинка мала 31 жетон. Скільки з них червоних?