TSTP Solution File: LCL189-3 by CiME---2.01