sat implemented