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