A solver for the game "Twenty-Four"