1 calls from
QSAT_VARS
QSAT_PF
1