Adding 3-SAT implementation. Changing Formula implementation. Must use that one on GSAT as well.