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