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