[ x[1] = k[7] + piecewise(t <= k[11], k[8], 0) + k[9]*t/k[12], 1*x[4] + 1*x[5] + 1*x[6] + 1*x[8] = k[27], 1*x[7] + 1*x[8] + 1*x[9] = k[28] ]