TSTP Solution File: SCT257_5 by CiME---2.01