TSTP Solution File: SEU957^5 by DCTP---1.31