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