x0 = a / 3.