TSTP Solution File: LCL726^5 by DCTP---1.31