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