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