yxtt3-a3=4RF(U,U-3a+23a,U-3a-23a),