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