'''
№ 17.28 (). В фай ле 17_ev1.txt содержится последовательность целых чисел. Элементы после‑
довательности могут принимать целые значения от 0 до 10 000 включительно.

Рассматривается множество элементов последовательности, которые
удовлетворяют следующим условиям:

— запись в двоичной системе оканчивается на 11;
bin(x)[-2:] == '11'

— число не превышает минимальное число последовательности, которое
оканчивается на 12.
x <= min12

Най дите количество таких чисел и произведение их минимального и
максимального значений .


'''

with open('17_ev1.txt' ) as ff:
    a = [int(x) for x in ff.read().split()]

# Вспомогательный шаг
a12 = [x for x in a if x % 100 == 12]
min12 = min(a12)

# Основной шаг
t = [x for x in a if bin(x)[-2:] == '11' and x <= min12]

print(len(t), min(t)*max(t))  # 21 933   ok