1 calls to
QSAT_PF
QSAT_VARS