On The Complexity of Circuit Satisfiability