TSTP Solution File: SYN860-1 by CiME---2.01