xnxxxxunnunxK uu * x * ux * uxu * uvt *x