(x y) · U² L F U R U² R' F' U'
(9,11)
x' · F U F² U' R' F' U' R² U R · x
(10,12)