{ x3 = 1 - x1 - x2,
  x4 = piecewise(1, t - floor(t/k11)*k11 < k10, 0) }