lwq.sat