Puzzles solved by VACA