At first I thought it's just brute forcing, but after reaching the solution it becomes obvious that the flzzrgel (rot13) of the condition simplifies the solving. Alas it's just like working on math problems. The result of an arduous calculation sometimes point to an elegant shortcut.