In this paper we introduce pEvoSAT, a permutation based Genetic Algorithm (GA), designed to solve the boolean satisfiability (SAT) problem when it is presented in the conjunctive normal form (CNF). The use of permutation based representation allows the algorithm to take advantage of domain specific knowledge such as unit propagation, and pruning. In this paper, we explore and characterize the behavior of our algorithm. This paper also presents the comparison of pEvoSAT to GASAT, a leading implementation of GAs for the solving of CNF instances.