Mixing time (25/27)

Mixing time