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