34543.sat