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