{ 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 }