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