Sat Count Support Added
deletions
SAT Solver Added