zeq.sat