TSTP Solution File: SEU614^2 by S-SETHEO---0.0