4043.sat