Puzzles solved by TINA