sudoku sovlver in php