weq.sat