TSTP Solution File: SEV081^5 by SRASS---0.1