Puzzles solved by LALIA