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