''' №619)  *Для какого наименьшего натурального числа А логическое
выражение

(458176 != 17y + 7x) ∨ (A > x) ∧ (A > y)

тождественно истинно (т.е. принимает значение 1) при любых целых
неотрицательных х и у.

!(известное) V (неизвестное) = 1
(458176 != 17y + 7x) ∨ (A > x) ∧ (A > y) = 1

(известное) -> (неизвестное) = 1
(458176 = 17y + 7x) -> (A > x) ∧ (A > y) = 1

458176 = 17y + 7x
y = (458176 - 7*x) / 17
x = (458176 - 17*y) / 7

x = 11, y = 26947
x = 65444, y = 4

A > 65444

Ответ: 65445 ok
'''

for x in range(0, 50):
    v = 458176 - 7*x
    if v % 17 == 0:
        y = v // 17
        print(f'{x = }, {y = }')
        break
    
for y in range(0, 50):
    v = 458176 - 17*y
    if v % 7 == 0:
        x = v // 7
        print(f'{x = }, {y = }')
        break

# ev-15: 6.153;  ege-15: 620