Puzzles solved by AILIM