TSTP Solution File: LCL227-3 by SRASS---0.1