Removed XXX in QSAT encoding