Puzzles solved by SADAI