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