Puzzles solved by ANGELAC