(R U² R' U)² · y' · R' U' R
(11,15)