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