Solvers for TV game show Countdown