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