4543.sat