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