{ x7 = x1/k10 }