Invoke minisat to solve CIRCUIT-SAT