Puzzles solved by ARWEN