Puzzles solved by asan