Sudoku with AC, SAC and GAC (Regin's constraint propagator)