yeq.sat