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