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