TSTP Solution File: SEU569^2 by SRASS---0.1