sat
[z = 5, y = 3, x = 2]