TSTP Solution File: SEV431^1 by SRASS---0.1