5942.sat
5942.sat