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