TSTP Solution File: LCL829-1 by Mace4---1109a