TSTP Solution File: SEV305^6 by CiME---2.01