В кор­зи­не лежит 25 гри­бов: ры­жи­ки и груз­ди. Из­вест­но, что среди любых 11 гри­бов име­ет­ся хотя бы один рыжик, а среди любых 16 гри­бов хотя бы один груздь. Сколь­ко ры­жи­ков в кор­зи­не?