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