Puzzles solved by ida2020