Updated QSAT encoding