Solves the Countdown numbers game (hopefully).