x1 = min(1, x1)
x2 = min(x2+1, x3)
x3 = 0