leq.sat