TSTP Solution File: SYO535^1 by CiME---2.01