gjb sbhe guerr bar fvk rvtug gjb frira avar fvk guerr frira gjb(the shortest solution proved by program)