Updated QSAT and SAT encodings for the new default join