Puzzles solved by KONTOL