Update tet.txt