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