←
y_t ∈ {0, 1}
x_t ≥ 0
s_t ≥ 0