Title: Solving Combinatorial Problems with SAT