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