{ 1*k6*x5 + 1*k6*x6 = k6*k145,
  1*k6*x22 + 1*k6*x23 = k6*k146 }