There's a rule that prevents one of the solutions here from being correct (rule13): Gur "znva cngu" pbhyq abg cnff guebhtu T flzobyf
