Input the solution from the command line
Add pycosat_cnf_sols.py