s R s' U² B' R B
(9,10)