4396.sat