5417.sat