Converts ASCII sudoku to CNF then solves the CNF via MiniSAT