SAT1 and cerebellar ataxia: Although Smox/Sat1-dKO mice are viable and normal at birth, they all develop progressive ataxia and exhibit severe deficits in movement as early as 12 weeks of age (Video 1, 8-week-old mouse and video 2, 14+-week-old mouse).