{ x5 = piecewise(0, t < k1, piecewise(1/10, and(t >= k1, t < k2), 13/250)),
  x6 = piecewise(0, t < k2, 6/125) }