Hi:

Go to the Options menu, change SAT Solver to "CNF".
Then every time you execute a command, it will write the CNF file instead
and it will tell you where the CNF file is stored.

(During normal execution, the CNF is not written to disk,
but it is indeed sent via inter-process pipe directly
into the SAT solver)

If you want the SAT solver to solve the problems for you again,
then you need to change the SAT Solver back.  I suggest MiniSat.