updat to sudoku solving to time out after 15 sec