5257.sat