Solve the popular 2048 game using automated theories