An Improvement on the Solution of Circuit Satisfiability Applicable to Solving the Question of Whether P=NP