allSat: generate unique file names

if smtFile option was given, we were overwriting the file over and over
for each call. Add an index to the file-name to avoid this.