Proof of Concept SAT Solver