Once points are assigned, the update is an exact mean inside each cluster. The new centroid coordinates are rational because they are sums divided by counts.
highlighted = computed this step
The update rule
After assignment, each new centroid is the mean of its assigned points. For c1 the exact mean is (2/3, 2/3).
c1′=(2/3,2/3)
The other centroid
For c2 the mean of the last three assigned points is (20/3, 20/3).
c2′=(20/3,20/3)
Summary
The mean is the update rule because it minimizes total squared distance inside that assigned cluster. The coordinates remain exact rational values.