6543.sat