4379.sat