Puzzles solved by Tacas