Symbol	Description	Uses
QCHECK		3
QSAT		79