Puzzles solved by KaOS