SAT Solver in Go