# coding: utf-8
import sys
import itertools
m = 100 # 上限
for x, y, z in itertools.product(range(2, m), repeat=3): # 2から始める
if (x ** z + y ** x == z ** y):
print("OK: x = {}, y = {}, z = {}".format(x, y, z))
sys.exit()
print("No.")
IyBjb2Rpbmc6IHV0Zi04CgppbXBvcnQgc3lzCmltcG9ydCBpdGVydG9vbHMKCm0gPSAxMDAgICMg5LiK6ZmQCmZvciB4LCB5LCB6IGluIGl0ZXJ0b29scy5wcm9kdWN0KHJhbmdlKDIsIG0pLCByZXBlYXQ9Myk6ICAjIDLjgYvjgonlp4vjgoHjgosKCWlmICh4ICoqIHogKyB5ICoqIHggPT0geiAqKiB5KToKCQlwcmludCgiT0s6IHggPSB7fSwgeSA9IHt9LCB6ID0ge30iLmZvcm1hdCh4LCB5LCB6KSkKCQlzeXMuZXhpdCgpCnByaW50KCJOby4iKQ==