В харчевне трапезничали 23 крестьянина. Мужики платили по 5 копеек за обед, а женщины — по 4. Все вместе они оставили в трактире целый рубль. Сколько мужиков ело в харчевне?
10
15
8
12