4324.sat