seal.sat