Для решения задачи необходимо проанализировать условие программы для всех пар входных данных. Программа выводит 'YES', если выполняется хотя бы одно из условий: s > A или t > 12. Проверяем каждую пару входных данных для всех заданных значений A. Наибольшее значение A, при котором программа выводит 'YES' ровно два раза, равно 12.