[favonio]

Di solito basta cambiare l'estensione al file.
Bisogna solo fare attnzione alla forma che dipende dal programma che usa il file dat. Alcuni programmi vogliono uno spazio tra un dato e l'altro altri il tab, altri la virgola.
Apri un file dat che funziona con un editor di testo e ti renderai conto di come deve essere scritto. Fai le correzioni sul file txt e gli cambi l'estensione.