Remove un needed usage of sat