TSTP Solution File: LCL310-3 by Mace4---1109a