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