Решение:
Программа напечатает \'YES\' если условие \( s > 5 \) или \( t > A \) истинно. Нам нужно, чтобы это условие выполнилось ровно 6 раз для следующих пар \( (s, t) \): \( (1, 2); (11, 2); (6, 12); (5, 12); (-11, -12); (-11, 12); (-12, 11); (10, 10); (10, 5) \).
Проанализируем каждую пару:
- \( (1, 2) \): \( 1 > 5 \) — ложь, \( 2 > A \) — ?
- \( (11, 2) \): \( 11 > 5 \) — истина. Условие выполнено.
- \( (6, 12) \): \( 6 > 5 \) — истина. Условие выполнено.
- \( (5, 12) \): \( 5 > 5 \) — ложь, \( 12 > A \) — ?
- \( (-11, -12) \): \( -11 > 5 \) — ложь, \( -12 > A \) — ?
- \( (-11, 12) \): \( -11 > 5 \) — ложь, \( 12 > A \) — ?
- \( (-12, 11) \): \( -12 > 5 \) — ложь, \( 11 > A \) — ?
- \( (10, 10) \): \( 10 > 5 \) — истина. Условие выполнено.
- \( (10, 5) \): \( 10 > 5 \) — истина. Условие выполнено.
У нас уже есть 4 пары, для которых условие истинно. Нам нужно, чтобы \'YES\' было напечатано 6 раз. Значит, ещё для двух пар условие должно быть истинным.
Рассмотрим оставшиеся пары, где \( s \) не больше 5:
- \( (1, 2) \): \( 1 > 5 \) (ложь) И \( 2 > A \) (?). Чтобы условие было истинным, \( 2 > A \) должно быть истинным.
- \( (5, 12) \): \( 5 > 5 \) (ложь) И \( 12 > A \) (?). Чтобы условие было истинным, \( 12 > A \) должно быть истинным.
- \( (-11, -12) \): \( -11 > 5 \) (ложь) И \( -12 > A \) (?). Чтобы условие было истинным, \( -12 > A \) должно быть истинным.
- \( (-11, 12) \): \( -11 > 5 \) (ложь) И \( 12 > A \) (?). Чтобы условие было истинным, \( 12 > A \) должно быть истинным.
- \( (-12, 11) \): \( -12 > 5 \) (ложь) И \( 11 > A \) (?). Чтобы условие было истинным, \( 11 > A \) должно быть истинным.
Нам нужно, чтобы ровно две из этих пар дали \'YES\'. Чтобы это произошло, \( A \) должно быть таким, чтобы \( 2 > A \) было истинным, но \( -12 > A \) было ложным. Это произойдет, если \( A \) будет между 2 и -12 (не включая их).
Чтобы условие \( 2 > A \) было истинным, \( A \) должно быть меньше 2. Например, \( A = 1 \).
Если \( A = 1 \), то:
- \( (1, 2) \): \( 2 > 1 \) — истина. \'YES\'.
- \( (5, 12) \): \( 12 > 1 \) — истина. \'YES\'.
- \( (-11, -12) \): \( -12 > 1 \) — ложь. \'NO\'.
- \( (-11, 12) \): \( 12 > 1 \) — истина. \'YES\'.
- \( (-12, 11) \): \( 11 > 1 \) — истина. \'YES\'.
В этом случае \'YES\' будет напечатано 4 (известные) + 4 (новые) = 8 раз. Это не подходит.
Рассмотрим, когда \( A \) будет таким, чтобы \( 12 > A \) было истинным, а \( 11 > A \) было ложным. Это произойдет, если \( A = 11 \).
Если \( A = 11 \), то:
- \( (1, 2) \): \( 2 > 11 \) — ложь. \'NO\'.
- \( (5, 12) \): \( 12 > 11 \) — истина. \'YES\'.
- \( (-11, -12) \): \( -12 > 11 \) — ложь. \'NO\'.
- \( (-11, 12) \): \( 12 > 11 \) — истина. \'YES\'.
- \( (-12, 11) \): \( 11 > 11 \) — ложь. \'NO\'.
В этом случае \'YES\' будет напечатано 4 (известные) + 2 (новые) = 6 раз. Это подходит!
Таким образом, наибольшее целое значение \( A \), при котором \( 12 > A \) истинно, а \( 11 > A \) ложно, это \( A = 11 \).
Проверим для \( A = 11 \):
- \( (1, 2) \): \( 1>5 \) (ложь) И \( 2>11 \) (ложь) -> NO
- \( (11, 2) \): \( 11>5 \) (истина) -> YES
- \( (6, 12) \): \( 6>5 \) (истина) -> YES
- \( (5, 12) \): \( 5>5 \) (ложь) И \( 12>11 \) (истина) -> YES
- \( (-11, -12) \): \( -11>5 \) (ложь) И \( -12>11 \) (ложь) -> NO
- \( (-11, 12) \): \( -11>5 \) (ложь) И \( 12>11 \) (истина) -> YES
- \( (-12, 11) \): \( -12>5 \) (ложь) И \( 11>11 \) (ложь) -> NO
- \( (10, 10) \): \( 10>5 \) (истина) -> YES
- \( (10, 5) \): \( 10>5 \) (истина) -> YES
Всего \'YES\' напечатано 6 раз.
Если взять \( A \) больше 11, например \( A=12 \), то \( 12>12 \) станет ложью, и \'YES\' для \( (5,12) \) и \( (-11,12) \) печататься не будет. Тогда всего будет 4 \'YES\'.
Если взять \( A \) меньше 11, например \( A=10 \), то \( 11>10 \) станет истиной, и \'YES\' для \( (-12,11) \) будет печататься. Тогда всего будет 7 \'YES\'.
Следовательно, наибольшее целое значение \( A \) равно 11.
Ответ: 11