Algorithm solving the 3 Satisfability problem. Using Bit-Mutation and Best Fit Neighbour algorithm.