[ Eq(x1, k7 + Piecewise((k8, Le(t, k11)), (0, True)) + k9*t/k12), Eq(1*x4 + 1*x5 + 1*x6 + 1*x8, k27), Eq(1*x7 + 1*x8 + 1*x9, k28) ]