TSTP Solution File: LCL528+1 by DCTP---1.31