TSTP Solution File: SEU521^1 by DCTP---1.31