5379.sat