change Sat to SAT