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