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

• \(12\)
• \(8\)
• \(15\)
• \(10\)