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