Puzzles solved by ANETKA