x1 = s1
x2 = at
x3 = s2
x4 = s3
x5 = na
x6 = s4
x7 = s5
x8 = s6
x9 = s6o