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