x1 = max(0, min(x1 - 1, x2))
x2 = max(0, 5+x1, x1)
x3 = max(0, 1 + x3, 0 + x1)