Puzzles solved by KMARIBEL