Create genSolution.cpp

read from the CNF and solution file and parse the result