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