TSTP Solution File: SEU230+3 by DCTP---1.31