A solver for the game 24.