TSTP Solution File: SEU257+2 by DCTP---1.31