1 calls from
QSAT

CONSTANT  1