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