TSTP Solution File: SEU799^1 by DCTP---1.31