Minor changes to the SAT implementation
Refactored GeneticAlgorithm to using GeneType, all issues solved