{ x1 = k7 + piecewise(k8, t <= k11, 0) + k9*t/k12,
  1*x4 + 1*x5 + 1*x6 + 1*x8 = k27,
  1*x7 + 1*x8 + 1*x9 = k28 }