TSTP Solution File: LCL807-1 by SRASS---0.1