R x a y R a x y R x b L x a b L a x y L x a y L b x R a b x 2.2 L a x y L x a y R x a y R a x y R x b L x a b L b x R a b x true L b x R a b x R x b L x a b R x a y R a x y L a x y L x a y true Failed! NaTT certifiable-1.6