Puzzles solved by TATL