TSTP Solution File: DAT191^1 by Mace4---1109a