TSTP Solution File: SEU741^2 by DCTP---1.31