TSTP Solution File: SYO160^5 by CiME---2.01