SAT1 and Ataxia: Specifically, the number of microglia that expressed IBA1 was increased, as was the expression of GFAP in the cerebellum of Smox/Sat1-dKO mice as early as 8 weeks of age, and this correlated with the severity of ataxia (Fig. 7c, bottom panels).