Puzzles solved by AVAc