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