(x1 x2 x3)(a11 a12 a13