4317.sat