Ac3 Sudoku, 1 using command: ~$ python3 driver.