A little PHP Sudoku solver