we get x = 4.