At most one number completed
At least one in each row work
fixing writeToCNFFile
 Adding Extended: at Least one in each row/column
Programming logic fixed; uninary clauses added