Puzzles solved by ARTUR