Create genFormula.cpp

read from input file and generate the satisfiability formula