В классе 25 учащихся. Известно, что среди любых 13 учащихся имеется хотя бы 1 девочка, а среди любых 14 учащихся есть хотя бы 1 мальчик. Сколько мальчиков в классе?