{ 1*x1 + 1*x2 + 1*x12 = k15,
  1*x3 + 1*x4 = k16,
  1*x7 + 1*x10 = k17 }