В мешке лежат 35 синих и красных шаров. Среди любых 20 шаров есть хотя бы один синий, а среди любых 17 шаров есть хотя бы один красный. Сколько красных шаров в мешке?