A Basic SAT Solver (DPLL) in C#