MapReduce implementation to solve SAT problem