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