TSTP Solution File: SEU839^5 by SETHEO---3.3